Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
681	C HICAGO J OURNAL OF T HEORETICAL C OMPUTER S CIENCE 2012, Article 07, pages 1–24 http://cjtcs.cs.uchicago.edu/ Computational Models with No Linear Speedup Amir M. Ben-Amram Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:46:25 Computability theory Computational complexity theory Computational resources Models of computation Linear speedup theorem Universal Turing machine Speedup theorem DTIME Time complexity Theoretical computer science Applied mathematics Turing machine
682	Pe a rso n Lightbook Mathematics Applications Western Australia 11 Join our preview group to ﬁnd out ﬁrst about this product: www.pearson.com.au/secondary/seniorAC Unit 1 Add to Reading List Source URL: www.pearson.com.au Language: English - Date: 2014-08-02 21:32:20 Recurrence relation Theory of computation Trigonometric functions Discrete mathematics Uses of trigonometry Mathematics Trigonometry Algebra
683	Recap: Recursive Environments Reminder Mid-Term 1 is Tuesday next week (No homework will be assigned this week) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Theory of computation Functions and mappings Recursion Programming idioms Closure Scheme Factorial Vector space Function Mathematics Algebra Subroutines
684	Computing & reading 5: The Future: What’s going on? Willard McCarty Professor of Humanities Computing King’s College London Add to Reading List Source URL: www.mccarty.org.uk Language: English - Date: 2012-02-05 04:03:00 Computer science Turing machine Models of computation Formal methods Turing machine gallery Arseny Avraamov Alan Turing Computable number Computability Computability theory Theory of computation Theoretical computer science
685	Microsoft PowerPoint - Keeping_up_in_Conversation.ppt Add to Reading List Source URL: www.cs.northwestern.edu Language: English - Date: 2005-05-26 21:32:26 Digital electronics Finite-state machine Negotiation Business Models of computation Automata theory
686	Synthesis of Recursive Functions with Interdependent Parameters Martin Muhlpfordt ¨ and Ute Schmid Add to Reading List Source URL: www-alg.ist.hokudai.ac.jp Language: English - Date: 2014-03-14 14:24:10 Theory of computation Computer science Digital typography Mathematics Latin alphabets Primitive recursive function World glyph set Computability theory Theoretical computer science Character encoding
687	Varieties Generated by Certain Models of Reversible Finite Automata Marats Golovkins∗ Faculty of Computing, University of Latvia, Rai¸na bulv. 29, Riga LV-1459, Latvia marats at latnet dot lv Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:29:25 Mathematics Semigroup theory Algebra Category theory Models of computation Monoid Semiautomaton Semigroup Regular language Automata theory Abstract algebra Formal languages
688	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
689	Recursion Theory Frank Stephan October 8, 2012 Recursion theory deals with the fundamental concepts on what subsets of natural numbers (or other famous countable domains) could be defined effectively and how Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-08 00:46:12 Mathematics Mathematical logic Recursively enumerable set Primitive recursive function Recursion Diophantine set Μ operator Computability Recursive set Computability theory Theoretical computer science Theory of computation
690	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering

UPDATE